The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational system is designed to formalize an appropriately context-dependent notion (...) of situated inference. The Dynamic Aspect Tree, representing temporal dependencies, constitutes a novel and important dynamic temporal logic, one that makes it easy to see "what follows when" from the information given in an ordinary English text. (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics (...) includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language. (shrink)

REFERENCES Barwise, J. & R. Cooper (1981) — 'Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4:2159-219. Van Benthem, J. (1983a) — ' Five Easy Pieces', in Ter Meulen (ed.), 1-17. Van Benthem, J. (1983b) ...

Logicians have always found inspiration for new research in the ordinary language that is used on a daily basis and acquired naturally in childhood. Whereas the logical issues in the foundations of mathematics motivated the development of mathematical logic with its emphasis on notions of proof, validity, axiomatization, decidability, consistency, and completeness, the logical analysis of natural language motivated the development of philosophical logic with its emphasis on semantic notions of presupposition, entailment, modality, conditionals, and intensionality. The relation between research (...) programs in both mathematical and philosophical logic and natural language syntax and semantics as branches of theoretical linguistics has increased in importance throughout the last fifty years. This chapter reviews the development of one particularly interesting and lively area of interaction between formal logic and linguistics—the semantics of natural language. Research in this emergent field has proved fruitful for the development of empirically, cognitively adequate models of reasoning with partial information, sharing or exchanging information, dynamic interpretation in context, belief revision and other cognitive processes. (shrink)

Validity of dynamic temporal reasoning is semantically characterized for English and Dutch aspectual adverbs in Discourse Representation Theory. This dynamic perspective determines how the content needs to be revised and what information is preserved across updates, when the order of premises is considered relevant. Resetting contextual parameters relies on modelling the basic aspectual polarity transitions and temporal reasoning extensionally. For intensional aspectual adverbials the speaker’s attitudes regarding past alternatives to and possible continuations of the current state come into play. Additional (...) considerations are offered for generalizing this system to the full logical space for linguistic universals, lexicalized quite differently in Dutch and English. (shrink)

Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)

Logically, weighting is transitive, but similarity is not, so clustering cannot be either. Entailments must help a child to review attribute lists more efficiently. Children's understanding of exceptions to generic claims precedes their ability to articulate explanations. So agency, as enabling constraint, may show coherent covariation with attributes, as mere extensional, observable effect of intensional entailments.

Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our past experience and use it to form expectations as well as plan and direct our future actions. Natural language semantics analyzes dynamic forms of reasoning in which the real-time order determines the temporal relations between the described events, when reported with telic simple past-tense clauses. It provides models of human reasoning that could supplement ACT-R models.

Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)

In designing stratified models of human language, understanding notions of logical consequence and validity of inference require separating the aspects of meaning that vary between models from logical constants. Modelling meaning requires choices regarding the primitives, where the Fregean program is still offering us the fundamental insights on the role of truth, judgement, and grasping or sharing of thoughts.

Semantic realism fits Millikan's account of kind terms in its focus on information-theoretic abilities and strategic ways of gathering information in human communication. Instead of the traditional logical necessity, we should interpret rigid designation in a dynamic semantics as a legislative act to constrain possible ways in which our belief may change.

In the modular design of generative theory the syntax-semantics interface has accounted all along for meanings at the level of Logical Form. The syntax-pragmatics interface, on the other hand, is the result of what one may call the 'pragmatic turn' in the linguistic theory, where content is partitioned into given and new information. In other words, the structural division of the clause has been subjected to criteria of information, or discourse structure. Both interfaces require a structurally descriptive inventory whose specific (...) shapes can be motivated on theory-internal grounds only. The present collection of original articles develops the concept of these interfaces further. The papers in the first section focus on the syntax-semantics interface, those in the second section on the syntax-pragmatics interface. (shrink)